Logics for Qualitative Inductive Generalization
نویسنده
چکیده
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attention is also paid to ways of handling background knowledge, introducing mere conjectures, and the research guiding capabilities of the logics.
منابع مشابه
Curried least general generalization: A framework for higher order concept learning
Continued progress with research in inductive logic programming relies on further extensions of their underlying logics. The standard tactics for extending expressivity include a generalization to higher order logics, which immediately forces attention to the computational complexity of higher order reasoning. A major thread of inductive logic programming research has focussed on the identiicat...
متن کاملCombining Inductive Generalization and Factual Abduction
The aim of this paper is to outline a first-order model for ampliative reasoning that fruitfully combines the inference patterns of inductive generalization and factual abduction. The pattern of inductive generalization is the archetype pattern of inductive inference by which we arrive at a universally quantified statement (All P s are Q) given one or more instances (Some P s are Q). In factual...
متن کاملDeductively Definable Logics of Induction
A broad class of inductive logics that includes the probability calculus is defined by the conditions that the inductive strengths [A|B] are defined fully in terms of deductive relations in preferred partitions and that they are asymptotically stable. Inductive independence is shown to be generic for propositions in such logics; a notion of a scale-free inductive logic is identified; and a limi...
متن کاملStatistics as Inductive Inference
This chapter concerns the relation between statistics and inductive logic. I start by describing induction in formal terms, and I introduce a general notion of probabilistic inductive inference. This provides a setting in which statistical procedures and inductive logics can be captured. Specifically, I discuss three statistical procedures (hypotheses testing, parameter estimation, and Bayesian...
متن کاملPractical Prediction of Inductive Generalization by the Method of Random Falsifiability
The relationship between learner capacity and generalization, established by Vapnik’s uniform convergence framework, suggests a remarkably simple validation procedure: reject the inductive hypothesis if the learning algorithm can also store the training examples with random labels. We study the properties of this apparently coarse estimator, which can be considered as the simplest possible capa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 97 شماره
صفحات -
تاریخ انتشار 2011